<?php
+@ @-$a;